* {
  margin: 0;
  padding: 0;
}

:root {
  --subtle-bg: rgba(0, 0, 0, 0.05);
}

body {
  color: var(--vscode-foreground)
}

a {
  cursor: pointer;
  text-decoration: underline;
}

a:hover {
  text-decoration: none;
}

.back {
  padding: 1rem 0;
  display: inline-block;
}

.intro {
  display: flex;
  height: 100vh;
  justify-content: center;
  align-items: center;
}

.intro > div {
  overflow: hidden;
  box-shadow: 0 5px 30px rgba(0, 0, 0, 0.2);
  border: 1px solid var(--vscode-notebook-focusedCellBorder);
}

.intro > div,
.content,
.source-container.expanded {
  background: var(--vscode-notebook-focusedCellBackground);
  border: 1px solid var(--vscode-notebook-focusedCellBorder);
}

.intro header {
  background: var(--subtle-bg);
  padding: 1rem;
}

.intro-content {
  padding: 1rem;
}

.intro-content li {
  list-style-type: none;
}

.intro-content li a {
  display: block;
  margin-top: 0.5rem;
  padding: 0.5rem;
}

.intro-content li a:hover {
  background: var(--subtle-bg);
}

.content {
  margin: 2rem;
  padding: 1rem;
}

.source-filter {
  display: block;
  width: 100%;
  padding: 0.5rem;
  font-size: 1.1rem;
  margin-bottom: 0.5rem;
  background: var(--vscode-input-background);
  color: var(--vscode-input-foreground);
  border: none;
}

.source-container {
  padding: 0.5rem;
}

.source-container code {
  word-break: break-all;
}

.source-container.expanded + .source-container.expanded {
  border-top: none;
}

.source-container h2 {
  font-family: var(--editor-font-family);
  font-weight: 300;
  cursor: pointer;
  opacity: 0.8;
  font-size: 1.2rem;
  user-select: none;
}

.source-container h2:hover {
  opacity: 1;
}

.source-container.expanded h2 {
  margin-bottom: 0.5rem;
}

.source-data-grid {
  display: grid;
  grid-template-columns: 25% 75%;
  row-gap: 0.5rem;
  padding: 0.5rem 0.25rem;
}

.source-data-grid li {
  list-style-type: none;
}

.source-breadcrumbs {
  padding: 0.5rem 0.25rem 0.75rem;
  border-bottom: 1px solid rgba(0, 0, 0, 0.1);
}

.source-breadcrumbs li {
  display: inline;
  list-style-type: none;
}

.bp-tracing code {
  font-size: var(--vscode-editor-font-size);
}

.bp-tracing li {
  margin: 1rem 0 1rem 1rem;
}

.bp-tracing p {
  margin: 0.5rem 0;
}

.bp-tracing li ul {
  margin: 0.5rem 1rem;
}

.decision-buttons {
  margin: 0.5rem 0;
}

button {
  background: var(--vscode-button-background);
  color: var(--vscode-button-foreground);
  border: 0;
  padding: 0.3rem 0.6rem;
  cursor: pointer;
}

button:hover,
button:focus {
  background: var(--vscode-button-hoverBackground);
}

.decision-buttons button + button {
  margin-left: 0.25rem;
}

.decision-buttons button.active {
  background: var(--vscode-button-hoverBackground);
}

.text-diff .add {
  background: var(--vscode-diffEditor-insertedTextBackground);
  border: 1px solid var(--vscode-diffEditor-insertedTextBorder);
}


.text-diff .rm {
  background: var(--vscode-diffEditor-removedTextBackground);
  text-decoration: line-through;
  border: 1px solid var(--vscode-diffEditor-removedTextBorder);
}
